1. Enumerability · Decidability Computability
پدیدآورنده : by Hans Hermes.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics.
2. Introduction to mathematical logic
پدیدآورنده : / Hans Hermes; translated from German by Diana Schmidt
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
H553
3. Posthumous writings /
پدیدآورنده : Gottlob Frege ; edited by Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach, with the assistance of Gottfried Gabriel and Walburga Rödding ; translated by Peter Long, Roger White, with the assistance of Raymond Hargreaves
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics
رده :
QA3
.
F74213
1979